Varieties of Self-Reference in Metamathematics

Abstract This paper investigates the conditions under which diagonal sentences can be taken to constitute paradigmatic cases of self-reference. We put forward well-motivated constraints on operator and coding apparatus separate self-referential sentences, for instance obtained via Gödel’s diagonalization method, from accidental sentences. In particular, we show that these successfully exclude refutable Henkin as constructed by Kreisel.